Теорема Чевы

Эта статья находится на начальном уровне проработки, в одной из её версий выборочно используется текст из источника, распространяемого под свободной лицензией
Материал из энциклопедии Руниверсалис

Теорема Чевы — классическая теорема аффинной геометрии и геометрии треугольника. Установлена в 1678 году итальянским инженером Джованни Чевой.

Формулировка

Определим чевиану как отрезок, соединяющий вершину треугольника с некоторой точкой на противоположной стороне.

Три чевианы [math]\displaystyle{ AA', BB', CC' }[/math] треугольника [math]\displaystyle{ ABC }[/math] проходят через одну точку тогда и только тогда, когда:

[math]\displaystyle{ \frac{BA'\cdot CB'\cdot AC'}{A'C\cdot B'A\cdot C'B}=1 }[/math]

Замечания

Эта теорема является аффинной, то есть она может быть сформулирована с использованием только тех свойств, которые сохраняются при аффинных преобразованиях.

Вариации и обобщения

Теорема Чевы для точек, лежащих на продолжениях сторон. Чевианы и их основания обозначены зелёным цветом, а точка их пересечения — голубым.
  • Эту теорему можно обобщить на случай, когда точки [math]\displaystyle{ A', B', C' }[/math] лежат на продолжениях сторон [math]\displaystyle{ BC, CA, AB }[/math]. Для этого надо воспользоваться «отношением направленных отрезков». Оно определено для двух коллинеарных направленных отрезков [math]\displaystyle{ XY }[/math] и [math]\displaystyle{ ZT }[/math] и обозначается [math]\displaystyle{ {XY}/{ZT} }[/math]
    • Пусть [math]\displaystyle{ A', B', C' }[/math] лежат на прямых [math]\displaystyle{ BC, CA, AB }[/math] треугольника [math]\displaystyle{ ABC }[/math]. Прямые [math]\displaystyle{ AA', BB', CC' }[/math] конкурентны (то есть параллельны или пересекаются в одной точке) тогда и только тогда, когда: [math]\displaystyle{ \frac{BA'}{A'C}\cdot \frac{CB'}{B'A}\cdot \frac{AC'}{C'B}=1 }[/math]
  • Теорема Понселе. Исходную теорему Чевы можно обобщить на случай многоугольника с нечетным числом сторон. Тогда её называют теоремой Понселе. Она звучит так: прямые, соединяющие какую-нибудь точку с вершинами многоугольника, имеющего нечётное число сторон, образуют на противоположных его сторонах такие отрезки, что произведение отрезков, не имеющих общих концов, равно произведению остальных отрезков (см. п. 23, с 35. в [1])
  • Тригонометрическая теорема Чевы:
    [math]\displaystyle{ \frac{\sin\angle BAA'}{\sin\angle A'AC}\cdot\frac{\sin\angle ACC'}{\sin\angle C'CB}\cdot\frac{\sin\angle CBB'}{\sin\angle B'BA}=1. }[/math]
При этом углы здесь считаются ориентированными; то есть [math]\displaystyle{ \angle XYZ }[/math] есть угол, на который надо повернуть прямую [math]\displaystyle{ XY }[/math] против часовой стрелки, чтоб получить прямую [math]\displaystyle{ YZ }[/math].

О доказательствах

Известны доказательства

Сам Чева привёл доказательство с помощью геометрии масс, но существует также и другие доказательства.

См. также

Литература

Примечания

  1. Зетель С. И. Новая геометрия треугольника. 2-е изд. М.: Учпедгиз, 1962. 153 с.